$\forall$$i$, $j$:$\mathbb{Z}$. SqStable(CoPrime($i$,$j$))